Pindar. First nemean Ode

Continuity in Weak Topology: First Order Linear Systems of ODE

In this paper we study important quantities defined from solutions of first order linear systems of ordinary differential equations. It will be proved that many quantities, such as solutions, eigenvalues of one-dimensional Dirac operators, Lyapunov exponents and rotation numbers, depend on the coefficients in a very strong way. That is, they are not only continuous in coefficients with respect ...

Model file Model parser TM integrator Poly ODE 1 Poly ODE 2 Nonpoly ODE

Hybrid systems are dynamical systems which exhibit both continuous flow and discrete jumps. They are natural modeling formalism for the systems composed of a discrete controller interacting with a physical environment. Since hybrid systems often appear in safetycritical situations, it is non-trivial to study their behavior. A typical way to do that is to explore the reachable state space of a h...

The Temple of Nemean Zeus, a California Landmark

Control of Delay-ODE, Delay-PDE, and PDE-ODE Cascades

I. INTRODUCTION Delay systems occupy a special place within the field of distributed parameter systems. Certain problems for this class of distributed parameter systems lend themselves to more elegant, or even explicit solutions. An enormous wealth of knowledge and research results exists for control of systems with state delays and input delays. Problems with long input delays, for unstable pl...

Object Versioning in Ode

The design of the versioning facilities in the Ode object-oriented database system is based on a few powerful concepts that allow implementation of a wide variety of versioning paradigms. These facilities have been cleanly integrated into Ode’s database programming language O++. Object versioning in Ode is orthogonal to type, that is, versioning is an object property and not a type property. Ve...